Ariadne (Ris¿ report)

نویسندگان

  • Carla Simone
  • Kjeld Schmidt
  • Peter Carstensen
  • Monica Divitini
چکیده

This is a report on an attempt to develop a CSCW infrastructure that can support the construction and use of malleable and linkable coordination mechanisms. On the basis of a scenario derived from field studies, the paper outlines the Ariadne framework, describes the notation’s main features and illustrates how it can be applied to the scenario. The paper attempts to bridge from sociological investigation to computer science. Supported by the EU’s Esprit Basic Research program (the COMIC project, action no. 6225), and The Danish Natural Science Research Council. © Carla Simone1, Kjeld Schmidt2, Peter Carstensen2, Monica Divitini3 1Dept. of Computer Sciences, University of Torino, Corso Svizzera 185, I-10148 Torino, Italy. Email: [email protected] 2Systems Analysis Dept., Risø National Laboratory, P.O. Box 49, DK-4000 Roskilde, Denmark. Email: {kjeld.schmidt, peter.carstensen}@risoe.dk 3Dept. of Computer Sciences, University of Milano, Via Comelico, 39/41, I-20135 Milano, Italy. Email: [email protected] ISBN 87-550-2246-4 ISSN 0106-2840 Grafisk Service, Risø, 1996

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reference intervals for thyroid stimulating hormone and free thyroxine derived from neonates undergoing routine screening for congenital hypothyroidism at a university teaching hospital in Nairobi, Kenya: a cross sectional study

BACKGROUND In order to accurately interpret neonatal thyroid function tests (TFTs), it is necessary to have population specific reference intervals (RIs) as there is significant variation across different populations possibly due to genetic, environmental or analytical issues. Despite the importance of RIs, globally there are very few publications on RIs for neonatal TFTs primarily due to ethic...

متن کامل

Ariadne Towards a technology of coordination

This is a report on an attempt to develop a CSCW infrastructure that can support the construction and use of malleable and linkable coordination mechanisms. On the basis of a scenario derived from field studies, the paper outlines the Ariadne framework, describes the notation’s main features and illustrates how it can be applied to the scenario. The paper attempts to bridge from sociological in...

متن کامل

Ariadne: Architecture of a Portable Threads system supporting Mobile Processes

TIrreads possess a simply expressed and powerful fonn of concurrency, easily exploitable in applications that run on both uniand multi-processors, sharcdand distributed-memory systems. This paper presents the design and implementation of Ariadne: a layered, C-based software architecture for multi-threaded computing on a variety of platfonns. Ariadne is a ponable system lhat exploils sharedand d...

متن کامل

Ariadne: a framework for reachability analysis of hybrid automata

In this paper we introduce the problem of reachability analysis of hybrid automata to decide safety properties. Then we describe ARIADNE, an in-progress open environment to design algorithms for computing with hybrid automata. We show that ARIADNE relies on a rigorous computable analysis theory to represent geometric objects, in order to achieve provable approximation bounds along the computati...

متن کامل

A putative ariadne-like E3 ubiquitin ligase (PAUL) that interacts with the muscle-specific kinase (MuSK).

Formation of the postsynaptic membrane at the skeletal neuromuscular junction (NMJ) requires activation of the muscle-specific receptor tyrosine kinase (MuSK). Few intracellular mediators or modulators of MuSK actions are known. E3 ubiquitin ligases may serve this role, because activities of several receptor tyrosine kinases, G-protein-coupled receptors and channels are modulated by ubiquitinat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998